java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files rabin.20.prism --model-input-type prism --property-input-files rabin.20.props --property-input-names live --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2784 2784
build-model-states-explored 6507 3723
build-model-states-explored 10012 3505
build-model-states-explored 13851 3839
build-model-states-explored 17533 3682
build-model-states-explored 20840 3307
build-model-states-explored 24992 4152
build-model-states-explored 28671 3679
build-model-states-explored 32745 4074
build-model-states-explored 36941 4196
build-model-states-explored 39042 2101
build-model-states-explored 43239 4197
build-model-states-explored 47225 3986
build-model-states-explored 51298 4072
build-model-states-explored 55174 3877
build-model-states-explored 59314 4140
build-model-states-explored 63139 3825
build-model-states-explored 67050 3911
build-model-states-explored 70833 3783
build-model-states-explored 74844 4011
build-model-states-explored 75644 800
build-model-states-explored 79522 3878
build-model-states-explored 83351 3829
build-model-states-explored 87020 3669
build-model-states-explored 90703 3683
build-model-states-explored 94407 3704
build-model-states-explored 98062 3655
build-model-states-explored 102176 4114
build-model-states-explored 106542 4366
build-model-states-explored 110605 4063
build-model-states-explored 114875 4270
build-model-states-explored 119249 4374
build-model-states-explored 123262 4013
build-model-states-explored 127534 4272
build-model-states-explored 131582 4048
build-model-states-explored 135737 4155
build-model-states-explored 139653 3916
build-model-states-explored 143808 4155
build-model-states-explored 148016 4208
build-model-states-explored 152200 4184
build-model-states-explored 154897 2697
build-model-states-explored 154897 0
build-model-states-explored 158004 3107
build-model-states-explored 162104 4100
build-model-states-explored 165794 3690
build-model-states-explored 169492 3698
build-model-states-explored 173199 3707
build-model-states-explored 177236 4037
build-model-states-explored 181667 4431
build-model-states-explored 185752 4085
build-model-states-explored 190171 4419
build-model-states-explored 194287 4116
build-model-states-explored 198705 4418
build-model-states-explored 202902 4197
build-model-states-explored 207101 4199
build-model-states-explored 211307 4206
build-model-states-explored 215548 4241
build-model-states-explored 219746 4198
build-model-states-explored 223942 4196
build-model-states-explored 227855 3913
build-model-states-explored 231540 3685
build-model-states-explored 235235 3695
build-model-states-explored 239264 4029
build-model-states-explored 243623 4359
build-model-states-explored 247706 4083
build-model-states-explored 251898 4192
build-model-states-explored 256006 4108
build-model-states-explored 260170 4164
build-model-states-explored 264331 4161
build-model-states-explored 268508 4177
build-model-states-explored 272645 4137
build-model-states-explored 276832 4187
build-model-states-explored 280608 3776
build-model-states-explored 284288 3680
build-model-states-explored 287967 3679
build-model-states-explored 291614 3647
build-model-states-explored 295762 4148
build-model-states-explored 299985 4223
build-model-states-explored 304265 4280
build-model-states-explored 308439 4174
build-model-states-explored 312681 4242
build-model-states-explored 316863 4181
build-model-states-explored 317062 200
build-model-states-explored 317062 0
build-model-states-explored 317062 0
build-model-states-explored 320239 3177
build-model-states-explored 323952 3713
build-model-states-explored 327652 3700
build-model-states-explored 331911 4259
build-model-states-explored 336051 4140
build-model-states-explored 340220 4169
build-model-states-explored 344402 4182
build-model-states-explored 348554 4152
build-model-states-explored 352750 4196
build-model-states-explored 356600 3850
build-model-states-explored 360326 3726
build-model-states-explored 364562 4236
build-model-states-explored 368699 4137
build-model-states-explored 372849 4150
build-model-states-explored 377002 4153
build-model-states-explored 381137 4135
build-model-states-explored 384888 3751
build-model-states-explored 388991 4103
build-model-states-explored 393077 4086
build-model-states-explored 397252 4175
build-model-states-explored 401452 4200
build-model-states-explored 405239 3787
build-model-states-explored 409298 4059
build-model-states-explored 413461 4163
build-model-states-explored 417656 4195
build-model-states-explored 421447 3791
build-model-states-explored 425603 4156
build-model-states-explored 429838 4235
build-model-states-explored 433748 3910
build-model-states-explored 437889 4141
build-model-states-explored 441910 4021
build-model-states-explored 446085 4175
build-model-states-explored 450218 4133
build-model-states-explored 454261 4043
build-model-states-explored 458409 4148
build-model-states-explored 462067 3658
build-model-states-explored 465931 3864
build-model-states-explored 469813 3882
build-model-states-explored 473607 3794
build-model-states-explored 477463 3856
build-model-states-explored 481339 3876
build-model-states-explored 485131 3792
build-model-states-explored 489012 3881
build-model-states-explored 492796 3784
build-model-states-explored 496673 3877
build-model-states-explored 500560 3887
build-model-states-explored 504327 3767
build-model-states-explored 507887 3560
build-model-states-explored 511687 3800
build-model-states-explored 515522 3835
build-model-states-explored 519380 3858
build-model-states-explored 523184 3804
build-model-states-explored 526947 3763
build-model-states-explored 530801 3854
build-model-states-explored 534587 3786
build-model-states-explored 538444 3857
build-model-states-explored 542191 3747
build-model-states-explored 546046 3855
build-model-states-explored 549936 3890
build-model-states-explored 553671 3735
build-model-states-explored 557551 3880
build-model-states-explored 561389 3838
build-model-states-explored 565234 3845
build-model-states-explored 569480 4246
build-model-states-explored 574007 4527
build-model-states-explored 578174 4167
build-model-states-explored 582691 4517
build-model-states-explored 586909 4218
build-model-states-explored 591466 4557
build-model-states-explored 595712 4246
build-model-states-explored 598657 2945
build-model-states-explored 603087 4430
build-model-states-explored 607535 4448
build-model-states-explored 611996 4461
build-model-states-explored 616463 4467
build-model-states-explored 620971 4508
build-model-states-explored 625237 4266
build-model-states-explored 629197 3960
build-model-states-explored 633130 3933
build-model-states-explored 637210 4080
build-model-states-explored 640844 3634
build-model-states-explored 640844 0
build-model-states-explored 640844 0
build-model-states-explored 640844 0
build-model-states-explored 640844 0
build-model-states-explored 640844 0
build-model-states-explored 640844 0
build-model-states-explored 644432 3588
build-model-states-explored 648854 4422
build-model-states-explored 653178 4324
build-model-states-explored 657758 4580
build-model-states-explored 662133 4375
build-model-states-explored 666543 4410
build-model-states-explored 670952 4409
build-model-states-explored 675361 4409
build-model-states-explored 679860 4499
build-model-states-explored 684015 4155
build-model-states-explored 687951 3936
build-model-states-explored 691872 3921
build-model-states-explored 696342 4470
build-model-states-explored 700656 4314
build-model-states-explored 705175 4519
build-model-states-explored 709558 4383
build-model-states-explored 713927 4369
build-model-states-explored 718317 4390
build-model-states-explored 722707 4390
build-model-states-explored 727185 4478
build-model-states-explored 731356 4171
build-model-states-explored 735305 3949
build-model-states-explored 739398 4093
build-model-states-explored 743823 4425
build-model-states-explored 748264 4441
build-model-states-explored 752637 4373
build-model-states-explored 756964 4327
build-model-states-explored 761391 4427
build-model-states-explored 765921 4530
build-model-states-explored 769976 4055
build-model-states-explored 773947 3971
build-model-states-explored 778346 4398
build-model-states-explored 782700 4355
build-model-states-explored 787036 4336
build-model-states-explored 791360 4324
build-model-states-explored 795746 4386
build-model-states-explored 799894 4148
build-model-states-explored 803909 4015
build-model-states-explored 808314 4405
build-model-states-explored 812697 4383
build-model-states-explored 817082 4385
build-model-states-explored 821552 4470
build-model-states-explored 825595 4043
build-model-states-explored 829924 4329
build-model-states-explored 834285 4361
build-model-states-explored 838851 4566
build-model-states-explored 842940 4089
build-model-states-explored 847258 4318
build-model-states-explored 851662 4404
build-model-states-explored 855971 4309
build-model-states-explored 860286 4315
build-model-states-explored 864762 4476
build-model-states-explored 868997 4235
build-model-states-explored 873426 4429
build-model-states-explored 877895 4469
build-model-states-explored 882268 4373
build-model-states-explored 886803 4535
build-model-states-explored 890536 3733
build-model-states-explored 894379 3843
build-model-states-explored 898217 3838
build-model-states-explored 902000 3783
build-model-states-explored 905866 3866
build-model-states-explored 909633 3767
build-model-states-explored 913489 3856
build-model-states-explored 917250 3761
build-model-states-explored 921121 3871
build-model-states-explored 924890 3769
build-model-states-explored 928717 3827
build-model-states-explored 932470 3753
build-model-states-explored 936345 3875
build-model-states-explored 940126 3781
build-model-states-explored 943871 3745
build-model-states-explored 947623 3752
build-model-states-explored 951371 3748
build-model-states-explored 955196 3825
build-model-states-explored 958946 3750
build-model-states-explored 962826 3880
build-model-states-explored 966584 3758
build-model-states-explored 970538 3954
build-model-states-explored 974450 3912
build-model-states-explored 978344 3894
build-model-states-explored 982898 4554
build-model-states-explored 987286 4388
build-model-states-explored 991839 4553
build-model-states-explored 996201 4362
build-model-states-explored 1000718 4517
build-model-states-explored 1005174 4456
build-model-states-explored 1009596 4422
build-model-states-explored 1014003 4407
build-model-states-explored 1018479 4476
build-model-states-explored 1023059 4580
build-model-states-explored 1027141 4082
build-model-states-explored 1031099 3958
build-model-states-explored 1034358 3259
build-model-states-explored 1038755 4397
build-model-states-explored 1043030 4275
build-model-states-explored 1047591 4561
build-model-states-explored 1051949 4358
build-model-states-explored 1056343 4394
build-model-states-explored 1060768 4425
build-model-states-explored 1065157 4389
build-model-states-explored 1069673 4516
build-model-states-explored 1073903 4230
build-model-states-explored 1077869 3966
build-model-states-explored 1081968 4099
build-model-states-explored 1086421 4453
build-model-states-explored 1090860 4439
build-model-states-explored 1095246 4386
build-model-states-explored 1099593 4347
build-model-states-explored 1104035 4442
build-model-states-explored 1108605 4570
build-model-states-explored 1112668 4063
build-model-states-explored 1116646 3978
build-model-states-explored 1121058 4412
build-model-states-explored 1125426 4368
build-model-states-explored 1129765 4339
build-model-states-explored 1134167 4402
build-model-states-explored 1138671 4504
build-model-states-explored 1142812 4141
build-model-states-explored 1146896 4084
build-model-states-explored 1151270 4374
build-model-states-explored 1155650 4380
build-model-states-explored 1160046 4396
build-model-states-explored 1164504 4458
build-model-states-explored 1168544 4040
build-model-states-explored 1172889 4345
build-model-states-explored 1177263 4374
build-model-states-explored 1181829 4566
build-model-states-explored 1185894 4065
build-model-states-explored 1190231 4337
build-model-states-explored 1194656 4425
build-model-states-explored 1198940 4284
build-model-states-explored 1203271 4331
build-model-states-explored 1207739 4468
build-model-states-explored 1212018 4279
build-model-states-explored 1216355 4337
build-model-states-explored 1220833 4478
build-model-states-explored 1225246 4413
build-model-states-explored 1229694 4448
build-model-states-explored 1233411 3717
build-model-states-explored 1237199 3788
build-model-states-explored 1240898 3699
build-model-states-explored 1244697 3799
build-model-states-explored 1245766 1069
build-model-states-explored 1249589 3823
build-model-states-explored 1253401 3812
build-model-states-explored 1257287 3886
build-model-states-explored 1261081 3794
build-model-states-explored 1264959 3878
build-model-states-explored 1268756 3797
build-model-states-explored 1272671 3915
build-model-states-explored 1276463 3792
build-model-states-explored 1280334 3871
build-model-states-explored 1284143 3809
build-model-states-explored 1287949 3806
build-model-states-explored 1291749 3800
build-model-states-explored 1295538 3789
build-model-states-explored 1299534 3996
build-model-states-explored 1303504 3970
build-model-states-explored 1307602 4098
build-model-states-explored 1312238 4636
build-model-states-explored 1316595 4357
build-model-states-explored 1321037 4442
build-model-states-explored 1325456 4419
build-model-states-explored 1329956 4500
build-model-states-explored 1334446 4490
build-model-states-explored 1338930 4484
build-model-states-explored 1341420 2490
build-model-states-explored 1341420 0
build-model-states-explored 1341420 0
build-model-states-explored 1341420 0
build-model-states-explored 1341420 0
build-model-states-explored 1341420 0
build-model-states-explored 1341420 0
build-model-states-explored 1341420 0
build-model-states-explored 1341420 0
build-model-states-explored 1341420 0
build-model-states-explored 1341420 0
build-model-states-explored 1341420 0
build-model-states-explored 1341420 0
build-model-states-explored 1344380 2960
build-model-states-explored 1348374 3994
build-model-states-explored 1352388 4014
build-model-states-explored 1357011 4623
build-model-states-explored 1361436 4425
build-model-states-explored 1365917 4481
build-model-states-explored 1370381 4464
build-model-states-explored 1374844 4463
build-model-states-explored 1379413 4569
build-model-states-explored 1383682 4269
build-model-states-explored 1387733 4051
build-model-states-explored 1392189 4456
build-model-states-explored 1396634 4445
build-model-states-explored 1401058 4424
build-model-states-explored 1405542 4484
build-model-states-explored 1410125 4583
build-model-states-explored 1414337 4212
build-model-states-explored 1418497 4160
build-model-states-explored 1422977 4480
build-model-states-explored 1427442 4465
build-model-states-explored 1431920 4478
build-model-states-explored 1436431 4511
build-model-states-explored 1440570 4139
build-model-states-explored 1445058 4488
build-model-states-explored 1449529 4471
build-model-states-explored 1454110 4581
build-model-states-explored 1458302 4192
build-model-states-explored 1462767 4465
build-model-states-explored 1467423 4656
build-model-states-explored 1471656 4233
build-model-states-explored 1476136 4480
build-model-states-explored 1480589 4453
build-model-states-explored 1485133 4544
build-model-states-explored 1489571 4438
build-model-states-explored 1494119 4548
build-model-states-explored 1498696 4577
build-model-states-explored 1502962 4266
build-model-states-explored 1506827 3865
build-model-states-explored 1510621 3794
build-model-states-explored 1514500 3879
build-model-states-explored 1518323 3823
build-model-states-explored 1522108 3785
build-model-states-explored 1526001 3893
build-model-states-explored 1529848 3847
build-model-states-explored 1533642 3794
build-model-states-explored 1537522 3880
build-model-states-explored 1541345 3823
build-model-states-explored 1545154 3809
build-model-states-explored 1549043 3889
build-model-states-explored 1552867 3824
build-model-states-explored 1556719 3852
build-model-states-explored 1560737 4018
build-model-states-explored 1564704 3967
build-model-states-explored 1569257 4553
build-model-states-explored 1573675 4418
build-model-states-explored 1578094 4419
build-model-states-explored 1582539 4445
build-model-states-explored 1586984 4445
build-model-states-explored 1591473 4489
build-model-states-explored 1595813 4340
build-model-states-explored 1599843 4030
build-model-states-explored 1602215 2372
build-model-states-explored 1606868 4653
build-model-states-explored 1611811 4943
build-model-states-explored 1616694 4883
build-model-states-explored 1621656 4962
build-model-states-explored 1626440 4784
build-model-states-explored 1630975 4535
build-model-states-explored 1635879 4904
build-model-states-explored 1640752 4873
build-model-states-explored 1645693 4941
build-model-states-explored 1650502 4809
build-model-states-explored 1655188 4686
build-model-states-explored 1660060 4872
build-model-states-explored 1665067 5007
build-model-states-explored 1669760 4693
build-model-states-explored 1674597 4837
build-model-states-explored 1679637 5040
build-model-states-explored 1684310 4673
build-model-states-explored 1689270 4960
build-model-states-explored 1694104 4834
build-model-states-explored 1699151 5047
build-model-states-explored 1704126 4975
build-model-states-explored 1708997 4871
build-model-states-explored 1714027 5030
build-model-states-explored 1718241 4214
build-model-states-explored 1722434 4193
build-model-states-explored 1726573 4139
build-model-states-explored 1730757 4184
build-model-states-explored 1734937 4180
build-model-states-explored 1739170 4233
build-model-states-explored 1743365 4195
build-model-states-explored 1747542 4177
build-model-states-explored 1751728 4186
build-model-states-explored 1755895 4167
build-model-states-explored 1760115 4220
build-model-states-explored 1764545 4430
build-model-states-explored 1769264 4719
build-model-states-explored 1774156 4892
build-model-states-explored 1778990 4834
build-model-states-explored 1783871 4881
build-model-states-explored 1788938 5067
build-model-states-explored 1793393 4455
build-model-states-explored 1798134 4741
build-model-states-explored 1802961 4827
build-model-states-explored 1807864 4903
build-model-states-explored 1812900 5036
build-model-states-explored 1817390 4490
build-model-states-explored 1822211 4821
build-model-states-explored 1827083 4872
build-model-states-explored 1832067 4984
build-model-states-explored 1836679 4612
build-model-states-explored 1841560 4881
build-model-states-explored 1846525 4965
build-model-states-explored 1851237 4712
build-model-states-explored 1856272 5035
build-model-states-explored 1860978 4706
build-model-states-explored 1865900 4922
build-model-states-explored 1870824 4924
build-model-states-explored 1875859 5035
build-model-states-explored 1880432 4573
build-model-states-explored 1884614 4182
build-model-states-explored 1888727 4113
build-model-states-explored 1892908 4181
build-model-states-explored 1897061 4153
build-model-states-explored 1901253 4192
build-model-states-explored 1905399 4146
build-model-states-explored 1909559 4160
build-model-states-explored 1913721 4162
build-model-states-explored 1918005 4284
build-model-states-explored 1922491 4486
build-model-states-explored 1927355 4864
build-model-states-explored 1932183 4828
build-model-states-explored 1937094 4911
build-model-states-explored 1941864 4770
build-model-states-explored 1946511 4647
build-model-states-explored 1951340 4829
build-model-states-explored 1956255 4915
build-model-states-explored 1960972 4717
build-model-states-explored 1965737 4765
build-model-states-explored 1970653 4916
build-model-states-explored 1975362 4709
build-model-states-explored 1980245 4883
build-model-states-explored 1985065 4820
build-model-states-explored 1990086 5021
build-model-states-explored 1994825 4739
build-model-states-explored 1999840 5015
build-model-states-explored 2004706 4866
build-model-states-explored 2009071 4365
build-model-states-explored 2013188 4117
build-model-states-explored 2017318 4130
build-model-states-explored 2021464 4146
build-model-states-explored 2025541 4077
build-model-states-explored 2029698 4157
build-model-states-explored 2033841 4143
build-model-states-explored 2038194 4353
build-model-states-explored 2042900 4706
build-model-states-explored 2047689 4789
build-model-states-explored 2052634 4945
build-model-states-explored 2057173 4539
build-model-states-explored 2061969 4796
build-model-states-explored 2066922 4953
build-model-states-explored 2071539 4617
build-model-states-explored 2076429 4890
build-model-states-explored 2081211 4782
build-model-states-explored 2086175 4964
build-model-states-explored 2090994 4819
build-model-states-explored 2095885 4891
build-model-states-explored 2099377 3492
build-model-states-explored 2103865 4488
build-model-states-explored 2107975 4110
build-model-states-explored 2112090 4115
build-model-states-explored 2116225 4135
build-model-states-explored 2120332 4107
build-model-states-explored 2124410 4078
build-model-states-explored 2128897 4487
build-model-states-explored 2133714 4817
build-model-states-explored 2138705 4991
build-model-states-explored 2143279 4574
build-model-states-explored 2148165 4886
build-model-states-explored 2152889 4724
build-model-states-explored 2157822 4933
build-model-states-explored 2162726 4904
build-model-states-explored 2167504 4778
build-model-states-explored 2172491 4987
build-model-states-explored 2176607 4116
build-model-states-explored 2180687 4080
build-model-states-explored 2184738 4051
build-model-states-explored 2188804 4066
build-model-states-explored 2193081 4277
build-model-states-explored 2197759 4678
build-model-states-explored 2202510 4751
build-model-states-explored 2207122 4612
build-model-states-explored 2211918 4796
build-model-states-explored 2216716 4798
build-model-states-explored 2221642 4926
build-model-states-explored 2226238 4596
build-model-states-explored 2230259 4021
build-model-states-explored 2234281 4022
build-model-states-explored 2238305 4024
build-model-states-explored 2242897 4592
build-model-states-explored 2247755 4858
build-model-states-explored 2252622 4867
build-model-states-explored 2257418 4796
build-model-states-explored 2262289 4871
build-model-states-explored 2266270 3981
build-model-states-explored 2270212 3942
build-model-states-explored 2274433 4221
build-model-states-explored 2279270 4837
build-model-states-explored 2284145 4875
build-model-states-explored 2288866 4721
build-model-states-explored 2292792 3926
build-model-states-explored 2296848 4056
build-model-states-explored 2301567 4719
build-model-states-explored 2306287 4720
build-model-states-explored 2310097 3810
build-model-states-explored 2314542 4445
build-model-states-explored 2318986 4444
build-model-states-explored 2323136 4150
build-model-states-explored 2327198 4062
build-model-states-explored 2331369 4171
build-model-states-explored 2335295 3926
build-model-states-explored 2339537 4242
build-model-states-explored 2343669 4132
build-model-states-explored 2347808 4139
build-model-states-explored 2352046 4238
build-model-states-explored 2356013 3967
build-model-states-explored 2360421 4408
build-model-states-explored 2364942 4521
build-model-states-explored 2369069 4127
build-model-states-explored 2373585 4516
build-model-states-explored 2377736 4151
build-model-states-explored 2382195 4459
build-model-states-explored 2386396 4201
build-model-states-explored 2390641 4245
build-model-states-explored 2394909 4268
build-model-states-explored 2399174 4265
build-model-states-explored 2403459 4285
build-model-states-explored 2407644 4185
build-model-states-explored 2411764 4120
build-model-states-explored 2415806 4042
build-model-states-explored 2420314 4508
build-model-states-explored 2424528 4214
build-model-states-explored 2428926 4398
build-model-states-explored 2433239 4313
build-model-states-explored 2437573 4334
build-model-states-explored 2441701 4128
build-model-states-explored 2446177 4476
build-model-states-explored 2450381 4204
build-model-states-explored 2454598 4217
build-model-states-explored 2458847 4249
build-model-states-explored 2462992 4145
build-model-states-explored 2467170 4178
build-model-states-explored 2471169 3999
build-model-states-explored 2475443 4274
build-model-states-explored 2479958 4515
build-model-states-explored 2484047 4089
build-model-states-explored 2488511 4464
build-model-states-explored 2492641 4130
build-model-states-explored 2497085 4444
build-model-states-explored 2501224 4139
build-model-states-explored 2505457 4233
build-model-states-explored 2509788 4331
build-model-states-explored 2513995 4207
build-model-states-explored 2518122 4127
build-model-states-explored 2522330 4208
build-model-states-explored 2526412 4082
build-model-states-explored 2530311 3899
build-model-states-explored 2534809 4498
build-model-states-explored 2539213 4404
build-model-states-explored 2543322 4109
build-model-states-explored 2547795 4473
build-model-states-explored 2551890 4095
build-model-states-explored 2556256 4366
build-model-states-explored 2560451 4195
build-model-states-explored 2564627 4176
build-model-states-explored 2568812 4185
build-model-states-explored 2573028 4216
build-model-states-explored 2577275 4247
build-model-states-explored 2581399 4124
build-model-states-explored 2585468 4069
build-model-states-explored 2589474 4006
build-model-states-explored 2593932 4458
build-model-states-explored 2598103 4171
build-model-states-explored 2602444 4341
build-model-states-explored 2606716 4272
build-model-states-explored 2610958 4242
build-model-states-explored 2615077 4119
build-model-states-explored 2618746 3669
build-model-states-explored 2619938 1192
build-model-states-explored 2624230 4292
build-model-states-explored 2628522 4292
build-model-states-explored 2632841 4319
build-model-states-explored 2637062 4221
build-model-states-explored 2641283 4221
build-model-states-explored 2645285 4002
build-model-states-explored 2649744 4459
build-model-states-explored 2654321 4577
build-model-states-explored 2658493 4172
build-model-states-explored 2663055 4562
build-model-states-explored 2667230 4175
build-model-states-explored 2671747 4517
build-model-states-explored 2676030 4283
build-model-states-explored 2680258 4228
build-model-states-explored 2684545 4287
build-model-states-explored 2688876 4331
build-model-states-explored 2693204 4328
build-model-states-explored 2697425 4221
build-model-states-explored 2698839 1414
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2698839 0
build-model-states-explored 2699136 297
build-model-states-explored 2703084 3948
build-model-states-explored 2707493 4409
build-model-states-explored 2712043 4550
build-model-states-explored 2716185 4142
build-model-states-explored 2720727 4542
build-model-states-explored 2724916 4189
build-model-states-explored 2729436 4520
build-model-states-explored 2733678 4242
build-model-states-explored 2737913 4235
build-model-states-explored 2742190 4277
build-model-states-explored 2746470 4280
build-model-states-explored 2750797 4327
build-model-states-explored 2755014 4217
build-model-states-explored 2759159 4145
build-model-states-explored 2763256 4097
build-model-states-explored 2767826 4570
build-model-states-explored 2772001 4175
build-model-states-explored 2776514 4513
build-model-states-explored 2780800 4286
build-model-states-explored 2785288 4488
build-model-states-explored 2789511 4223
build-model-states-explored 2793957 4446
build-model-states-explored 2798260 4303
build-model-states-explored 2802534 4274
build-model-states-explored 2806798 4264
build-model-states-explored 2811004 4206
build-model-states-explored 2815174 4170
build-model-states-explored 2819139 3965
build-model-states-explored 2823648 4509
build-model-states-explored 2828183 4535
build-model-states-explored 2832366 4183
build-model-states-explored 2836911 4545
build-model-states-explored 2841097 4186
build-model-states-explored 2845548 4451
build-model-states-explored 2849844 4296
build-model-states-explored 2854089 4245
build-model-states-explored 2858177 4088
build-model-states-explored 2862494 4317
build-model-states-explored 2866803 4309
build-model-states-explored 2870887 4084
build-model-states-explored 2875040 4153
build-model-states-explored 2879237 4197
build-model-states-explored 2883700 4463
build-model-states-explored 2888101 4401
build-model-states-explored 2892587 4486
build-model-states-explored 2897031 4444
build-model-states-explored 2901450 4419
build-model-states-explored 2905945 4495
build-model-states-explored 2910361 4416
build-model-states-explored 2914836 4475
build-model-states-explored 2919213 4377
build-model-states-explored 2923727 4514
build-model-states-explored 2928107 4380
build-model-states-explored 2932617 4510
build-model-states-explored 2937010 4393
build-model-states-explored 2941505 4495
build-model-states-explored 2945871 4366
build-model-states-explored 2950361 4490
build-model-states-explored 2954756 4395
build-model-states-explored 2959240 4484
build-model-states-explored 2963634 4394
build-model-states-explored 2968217 4583
build-model-states-explored 2972759 4542
build-model-states-explored 2977297 4538
build-model-states-explored 2982582 5285
build-model-states-explored 2987558 4976
build-model-states-explored 2992868 5310
build-model-states-explored 2997903 5035
build-model-states-explored 3002989 5086
build-model-states-explored 3008075 5086
build-model-states-explored 3013245 5170
build-model-states-explored 3018424 5179
build-model-states-explored 3023621 5197
build-model-states-explored 3028800 5179
build-model-states-explored 3033416 4616
build-model-states-explored 3038036 4620
build-model-states-explored 3043048 5012
build-model-states-explored 3048058 5010
build-model-states-explored 3053339 5281
build-model-states-explored 3058361 5022
build-model-states-explored 3063472 5111
build-model-states-explored 3068563 5091
build-model-states-explored 3073749 5186
build-model-states-explored 3079246 5497
build-model-states-explored 3083840 4594
build-model-states-explored 3088492 4652
build-model-states-explored 3093473 4981
build-model-states-explored 3098511 5038
build-model-states-explored 3103577 5066
build-model-states-explored 3108729 5152
build-model-states-explored 3113838 5109
build-model-states-explored 3119071 5233
build-model-states-explored 3124174 5103
build-model-states-explored 3128847 4673
build-model-states-explored 3133794 4947
build-model-states-explored 3138873 5079
build-model-states-explored 3143965 5092
build-model-states-explored 3149056 5091
build-model-states-explored 3154335 5279
build-model-states-explored 3159274 4939
build-model-states-explored 3164039 4765
build-model-states-explored 3169139 5100
build-model-states-explored 3174254 5115
build-model-states-explored 3179430 5176
build-model-states-explored 3184620 5190
build-model-states-explored 3189419 4799
build-model-states-explored 3194547 5128
build-model-states-explored 3199674 5127
build-model-states-explored 3204946 5272
build-model-states-explored 3209854 4908
build-model-states-explored 3214974 5120
build-model-states-explored 3220286 5312
build-model-states-explored 3225226 4940
build-model-states-explored 3230496 5270
build-model-states-explored 3235558 5062
build-model-states-explored 3240929 5371
build-model-states-explored 3246094 5165
build-model-states-explored 3251472 5378
build-model-states-explored 3256761 5289
build-model-states-explored 3261270 4509
build-model-states-explored 3265703 4433
build-model-states-explored 3270110 4407
build-model-states-explored 3274597 4487
build-model-states-explored 3279006 4409
build-model-states-explored 3283508 4502
build-model-states-explored 3287903 4395
build-model-states-explored 3292382 4479
build-model-states-explored 3296788 4406
build-model-states-explored 3301185 4397
build-model-states-explored 3305673 4488
build-model-states-explored 3310071 4398
build-model-states-explored 3314552 4481
build-model-states-explored 3318930 4378
build-model-states-explored 3323391 4461
build-model-states-explored 3327785 4394
build-model-states-explored 3332185 4400
build-model-states-explored 3336794 4609
build-model-states-explored 3341403 4609
build-model-states-explored 3346159 4756
build-model-states-explored 3351378 5219
build-model-states-explored 3356426 5048
build-model-states-explored 3361444 5018
build-model-states-explored 3366558 5114
build-model-states-explored 3371663 5105
build-model-states-explored 3376767 5104
build-model-states-explored 3381975 5208
build-model-states-explored 3387006 5031
build-model-states-explored 3391632 4626
build-model-states-explored 3396358 4726
build-model-states-explored 3401452 5094
build-model-states-explored 3406547 5095
build-model-states-explored 3411578 5031
build-model-states-explored 3416667 5089
build-model-states-explored 3421754 5087
build-model-states-explored 3427083 5329
build-model-states-explored 3431669 4586
build-model-states-explored 3436259 4590
build-model-states-explored 3441222 4963
build-model-states-explored 3446260 5038
build-model-states-explored 3451322 5062
build-model-states-explored 3456427 5105
build-model-states-explored 3461667 5240
build-model-states-explored 3466358 4691
build-model-states-explored 3471338 4980
build-model-states-explored 3476363 5025
build-model-states-explored 3481493 5130
build-model-states-explored 3486909 5416
build-model-states-explored 3491635 4726
build-model-states-explored 3496619 4984
build-model-states-explored 3501693 5074
build-model-states-explored 3506960 5267
build-model-states-explored 3511922 4962
build-model-states-explored 3516927 5005
build-model-states-explored 3522088 5161
build-model-states-explored 3527201 5113
build-model-states-explored 3532283 5082
build-model-states-explored 3537565 5282
build-model-states-explored 3542598 5033
build-model-states-explored 3547788 5190
build-model-states-explored 3552980 5192
build-model-states-explored 3558174 5194
build-model-states-explored 3563473 5299
build-model-states-explored 3567747 4274
build-model-states-explored 3572229 4482
build-model-states-explored 3576635 4406
build-model-states-explored 3581055 4420
build-model-states-explored 3585480 4425
build-model-states-explored 3589934 4454
build-model-states-explored 3594330 4396
build-model-states-explored 3598748 4418
build-model-states-explored 3603228 4480
build-model-states-explored 3607672 4444
build-model-states-explored 3612077 4405
build-model-states-explored 3616550 4473
build-model-states-explored 3620949 4399
build-model-states-explored 3625390 4441
build-model-states-explored 3629995 4605
build-model-states-explored 3634591 4596
build-model-states-explored 3639749 5158
build-model-states-explored 3644765 5016
build-model-states-explored 3649840 5075
build-model-states-explored 3654924 5084
build-model-states-explored 3659995 5071
build-model-states-explored 3665237 5242
build-model-states-explored 3670122 4885
build-model-states-explored 3674754 4632
build-model-states-explored 3679786 5032
build-model-states-explored 3684813 5027
build-model-states-explored 3689834 5021
build-model-states-explored 3694942 5108
build-model-states-explored 3700328 5386
build-model-states-explored 3704980 4652
build-model-states-explored 3709826 4846
build-model-states-explored 3714863 5037
build-model-states-explored 3719930 5067
build-model-states-explored 3725087 5157
build-model-states-explored 3730146 5059
build-model-states-explored 3735003 4857
build-model-states-explored 3740030 5027
build-model-states-explored 3745164 5134
build-model-states-explored 3750317 5153
build-model-states-explored 3755173 4856
build-model-states-explored 3760269 5096
build-model-states-explored 3765499 5230
build-model-states-explored 3770415 4916
build-model-states-explored 3775713 5298
build-model-states-explored 3780625 4912
build-model-states-explored 3785923 5298
build-model-states-explored 3791086 5163
build-model-states-explored 3796356 5270
build-model-states-explored 3801586 5230
build-model-states-explored 3806094 4508
build-model-states-explored 3810529 4435
build-model-states-explored 3814893 4364
build-model-states-explored 3819234 4341
build-model-states-explored 3823578 4344
build-model-states-explored 3827942 4364
build-model-states-explored 3832292 4350
build-model-states-explored 3836730 4438
build-model-states-explored 3841077 4347
build-model-states-explored 3845357 4280
build-model-states-explored 3849730 4373
build-model-states-explored 3854068 4338
build-model-states-explored 3858657 4589
build-model-states-explored 3863316 4659
build-model-states-explored 3868261 4945
build-model-states-explored 3873327 5066
build-model-states-explored 3878352 5025
build-model-states-explored 3883414 5062
build-model-states-explored 3888567 5153
build-model-states-explored 3893189 4622
build-model-states-explored 3898100 4911
build-model-states-explored 3903083 4983
build-model-states-explored 3908137 5054
build-model-states-explored 3913383 5246
build-model-states-explored 3918177 4794
build-model-states-explored 3923079 4902
build-model-states-explored 3928071 4992
build-model-states-explored 3933216 5145
build-model-states-explored 3938214 4998
build-model-states-explored 3943123 4909
build-model-states-explored 3948219 5096
build-model-states-explored 3953324 5105
build-model-states-explored 3958260 4936
build-model-states-explored 3963558 5298
build-model-states-explored 3968433 4875
build-model-states-explored 3973620 5187
build-model-states-explored 3978854 5234
build-model-states-explored 3983956 5102
build-model-states-explored 3989250 5294
build-model-states-explored 3993638 4388
build-model-states-explored 3997994 4356
build-model-states-explored 4002352 4358
build-model-states-explored 4006704 4352
build-model-states-explored 4011034 4330
build-model-states-explored 4015363 4329
build-model-states-explored 4019701 4338
build-model-states-explored 4024054 4353
build-model-states-explored 4028405 4351
build-model-states-explored 4032815 4410
build-model-states-explored 4037411 4596
build-model-states-explored 4042330 4919
build-model-states-explored 4047275 4945
build-model-states-explored 4052288 5013
build-model-states-explored 4057594 5306
build-model-states-explored 4062245 4651
build-model-states-explored 4067140 4895
build-model-states-explored 4072104 4964
build-model-states-explored 4077229 5125
build-model-states-explored 4082185 4956
build-model-states-explored 4085692 3507
build-model-states-explored 4089218 3526
build-model-states-explored 4092970 3752
build-model-states-explored 4096684 3714
build-model-states-explored 4100196 3512
build-model-states-explored 4103909 3713
build-model-states-explored 4107777 3868
build-model-states-explored 4111295 3518
build-model-states-explored 4115178 3883
build-model-states-explored 4118783 3605
build-model-states-explored 4122711 3928
build-model-states-explored 4126502 3791
build-model-states-explored 4130326 3824
build-model-states-explored 4134139 3813
build-model-states-explored 4137141 3002
build-model-states-explored 4140193 3052
build-model-states-explored 4143302 3109
build-model-states-explored 4146362 3060
build-model-states-explored 4149484 3122
build-model-states-explored 4152594 3110
build-model-states-explored 4155691 3097
build-model-states-explored 4158767 3076
build-model-states-explored 4161853 3086
build-model-states-explored 4164946 3093
build-model-states-explored 4168096 3150
build-model-states-explored 4171437 3341
build-model-states-explored 4174930 3493
build-model-states-explored 4178548 3618
build-model-states-explored 4182177 3629
build-model-states-explored 4185942 3765
build-model-states-explored 4189670 3728
build-model-states-explored 4193038 3368
build-model-states-explored 4196669 3631
build-model-states-explored 4200342 3673
build-model-states-explored 4204245 3903
build-model-states-explored 4207639 3394
build-model-states-explored 4211252 3613
build-model-states-explored 4215074 3822
build-model-states-explored 4218689 3615
build-model-states-explored 4222366 3677
build-model-states-explored 4226192 3826
build-model-states-explored 4229868 3676
build-model-states-explored 4233635 3767
build-model-states-explored 4237479 3844
build-model-states-explored 4241411 3932
build-model-states-explored 4244745 3334
build-model-states-explored 4245848 1103
build-model-states-explored 4248933 3085
build-model-states-explored 4252026 3093
build-model-states-explored 4255094 3068
build-model-states-explored 4258170 3076
build-model-states-explored 4261214 3044
build-model-states-explored 4264336 3122
build-model-states-explored 4267401 3065
build-model-states-explored 4270559 3158
build-model-states-explored 4273931 3372
build-model-states-explored 4277503 3572
build-model-states-explored 4281149 3646
build-model-states-explored 4285050 3901
build-model-states-explored 4288510 3460
build-model-states-explored 4292061 3551
build-model-states-explored 4295820 3759
build-model-states-explored 4299537 3717
build-model-states-explored 4303127 3590
build-model-states-explored 4307044 3917
build-model-states-explored 4310589 3545
build-model-states-explored 4314412 3823
build-model-states-explored 4318271 3859
build-model-states-explored 4322044 3773
build-model-states-explored 4325630 3586
build-model-states-explored 4328660 3030
build-model-states-explored 4331756 3096
build-model-states-explored 4334791 3035
build-model-states-explored 4337863 3072
build-model-states-explored 4340932 3069
build-model-states-explored 4343909 2977
build-model-states-explored 4347111 3202
build-model-states-explored 4350453 3342
build-model-states-explored 4354093 3640
build-model-states-explored 4358012 3919
build-model-states-explored 4361452 3440
build-model-states-explored 4365189 3737
build-model-states-explored 4368906 3717
build-model-states-explored 4372774 3868
build-model-states-explored 4376429 3655
build-model-states-explored 4380326 3897
build-model-states-explored 4384204 3878
build-model-states-explored 4387317 3113
build-model-states-explored 4390356 3039
build-model-states-explored 4393380 3024
build-model-states-explored 4396386 3006
build-model-states-explored 4399415 3029
build-model-states-explored 4402618 3203
build-model-states-explored 4406166 3548
build-model-states-explored 4410095 3929
build-model-states-explored 4413600 3505
build-model-states-explored 4417444 3844
build-model-states-explored 4421299 3855
build-model-states-explored 4425000 3701
build-model-states-explored 4428708 3708
build-model-states-explored 4431710 3002
build-model-states-explored 4434717 3007
build-model-states-explored 4437703 2986
build-model-states-explored 4440736 3033
build-model-states-explored 4444264 3528
build-model-states-explored 4448070 3806
build-model-states-explored 4451912 3842
build-model-states-explored 4455603 3691
build-model-states-explored 4459285 3682
build-model-states-explored 4462260 2975
build-model-states-explored 4465247 2987
build-model-states-explored 4468272 3025
build-model-states-explored 4471975 3703
build-model-states-explored 4475811 3836
build-model-states-explored 4479572 3761
build-model-states-explored 4482505 2933
build-model-states-explored 4485439 2934
build-model-states-explored 4488890 3451
build-model-states-explored 4492740 3850
build-model-states-explored 4495752 3012
build-model-states-explored 4498706 2954
build-model-states-explored 4502475 3769
build-model-states-explored 4505319 2844
build-model-states-explored 4508605 3286
build-model-states-explored 4511633 3028
build-model-states-explored 4514556 2923
build-model-states-explored 4517460 2904
build-model-states-explored 4520431 2971
build-model-states-explored 4523247 2816
build-model-states-explored 4526178 2931
build-model-states-explored 4529145 2967
build-model-states-explored 4531754 2609
build-model-states-explored 4534892 3138
build-model-states-explored 4538076 3184
build-model-states-explored 4540791 2715
build-model-states-explored 4543976 3185
build-model-states-explored 4546989 3013
build-model-states-explored 4549877 2888
build-model-states-explored 4553005 3128
build-model-states-explored 4555855 2850
build-model-states-explored 4558848 2993
build-model-states-explored 4561864 3016
build-model-states-explored 4564788 2924
build-model-states-explored 4567733 2945
build-model-states-explored 4570675 2942
build-model-states-explored 4573559 2884
build-model-states-explored 4576434 2875
build-model-states-explored 4579183 2749
build-model-states-explored 4582339 3156
build-model-states-explored 4585468 3129
build-model-states-explored 4588270 2802
build-model-states-explored 4591423 3153
build-model-states-explored 4594330 2907
build-model-states-explored 4597356 3026
build-model-states-explored 4600374 3018
build-model-states-explored 4603340 2966
build-model-states-explored 4606228 2888
build-model-states-explored 4609350 3122
build-model-states-explored 4612285 2935
build-model-states-explored 4615233 2948
build-model-states-explored 4618135 2902
build-model-states-explored 4621031 2896
build-model-states-explored 4623890 2859
build-model-states-explored 4626692 2802
build-model-states-explored 4629836 3144
build-model-states-explored 4632854 3018
build-model-states-explored 4635594 2740
build-model-states-explored 4638761 3167
build-model-states-explored 4641557 2796
build-model-states-explored 4644656 3099
build-model-states-explored 4647582 2926
build-model-states-explored 4650626 3044
build-model-states-explored 4653512 2886
build-model-states-explored 4656590 3078
build-model-states-explored 4659554 2964
build-model-states-explored 4662496 2942
build-model-states-explored 4665355 2859
build-model-states-explored 4668283 2928
build-model-states-explored 4671089 2806
build-model-states-explored 4673985 2896
build-model-states-explored 4677141 3156
build-model-states-explored 4680138 2997
build-model-states-explored 4683063 2925
build-model-states-explored 4686185 3122
build-model-states-explored 4688969 2784
build-model-states-explored 4692161 3192
build-model-states-explored 4694973 2812
build-model-states-explored 4698155 3182
build-model-states-explored 4700963 2808
build-model-states-explored 4703937 2974
build-model-states-explored 4706948 3011
build-model-states-explored 4709863 2915
build-model-states-explored 4712803 2940
build-model-states-explored 4715682 2879
build-model-states-explored 4718422 2740
build-model-states-explored 4721422 3000
build-model-states-explored 4724598 3176
build-model-states-explored 4727481 2883
build-model-states-explored 4730495 3014
build-model-states-explored 4733652 3157
build-model-states-explored 4736460 2808
build-model-states-explored 4739624 3164
build-model-states-explored 4742496 2872
build-model-states-explored 4745615 3119
build-model-states-explored 4748523 2908
build-model-states-explored 4751440 2917
build-model-states-explored 4754398 2958
build-model-states-explored 4757377 2979
build-model-states-explored 4760325 2948
build-model-states-explored 4763198 2873
build-model-states-explored 4765864 2666
build-model-states-explored 4769043 3179
build-model-states-explored 4772205 3162
build-model-states-explored 4774929 2724
build-model-states-explored 4778091 3162
build-model-states-explored 4781208 3117
build-model-states-explored 4784087 2879
build-model-states-explored 4787208 3121
build-model-states-explored 4790090 2882
build-model-states-explored 4793116 3026
build-model-states-explored 4796096 2980
build-model-states-explored 4799020 2924
build-model-states-explored 4801955 2935
build-model-states-explored 4804931 2976
build-model-states-explored 4807819 2888
build-model-states-explored 4810697 2878
build-model-states-explored 4813416 2719
build-model-states-explored 4816554 3138
build-model-states-explored 4819722 3168
build-model-states-explored 4822480 2758
build-model-states-explored 4825625 3145
build-model-states-explored 4828612 2987
build-model-states-explored 4831597 2985
build-model-states-explored 4834653 3056
build-model-states-explored 4837601 2948
build-model-states-explored 4840500 2899
build-model-states-explored 4843592 3092
build-model-states-explored 4846516 2924
build-model-states-explored 4849448 2932
build-model-states-explored 4852385 2937
build-model-states-explored 4855271 2886
build-model-states-explored 4858146 2875
build-model-states-explored 4860899 2753
build-model-states-explored 4864040 3141
build-model-states-explored 4867186 3146
build-model-states-explored 4869950 2764
build-model-states-explored 4873124 3174
build-model-states-explored 4875973 2849
build-model-states-explored 4879075 3102
build-model-states-explored 4882009 2934
build-model-states-explored 4885044 3035
build-model-states-explored 4887908 2864
build-model-states-explored 4890987 3079
build-model-states-explored 4893938 2951
build-model-states-explored 4896854 2916
build-model-states-explored 4899722 2868
build-model-states-explored 4902614 2892
build-model-states-explored 4905446 2832
build-model-states-explored 4908295 2849
build-model-states-explored 4911467 3172
build-model-states-explored 4914499 3032
build-model-states-explored 4917388 2889
build-model-states-explored 4920547 3159
build-model-states-explored 4923299 2752
build-model-states-explored 4926468 3169
build-model-states-explored 4929296 2828
build-model-states-explored 4932423 3127
build-model-states-explored 4935277 2854
build-model-states-explored 4938288 3011
build-model-states-explored 4941291 3003
build-model-states-explored 4944199 2908
build-model-states-explored 4947089 2890
build-model-states-explored 4949980 2891
build-model-states-explored 4952849 2869
build-model-states-explored 4955874 3025
build-model-states-explored 4958974 3100
build-model-states-explored 4962109 3135
build-model-states-explored 4965162 3053
build-model-states-explored 4968343 3181
build-model-states-explored 4971429 3086
build-model-states-explored 4974525 3096
build-model-states-explored 4977663 3138
build-model-states-explored 4980717 3054
build-model-states-explored 4983916 3199
build-model-states-explored 4986989 3073
build-model-states-explored 4990088 3099
build-model-states-explored 4993236 3148
build-model-states-explored 4996296 3060
build-model-states-explored 4999476 3180
build-model-states-explored 5002538 3062
build-model-states-explored 5005633 3095
build-model-states-explored 5008781 3148
build-model-states-explored 5011835 3054
build-model-states-explored 5015008 3173
build-model-states-explored 5018069 3061
build-model-states-explored 5021176 3107
build-model-states-explored 5024325 3149
build-model-states-explored 5027465 3140
build-model-states-explored 5030716 3251
build-model-states-explored 5033925 3209
build-model-states-explored 5037099 3174
build-model-states-explored 5040833 3734
build-model-states-explored 5044518 3685
build-model-states-explored 5048092 3574
build-model-states-explored 5051727 3635
build-model-states-explored 5055350 3623
build-model-states-explored 5058926 3576
build-model-states-explored 5062597 3671
build-model-states-explored 5066265 3668
build-model-states-explored 5069949 3684
build-model-states-explored 5073671 3722
build-model-states-explored 5077590 3919
build-model-states-explored 5080839 3249
build-model-states-explored 5084098 3259
build-model-states-explored 5087327 3229
build-model-states-explored 5090963 3636
build-model-states-explored 5094523 3560
build-model-states-explored 5098209 3686
build-model-states-explored 5101786 3577
build-model-states-explored 5105397 3611
build-model-states-explored 5109059 3662
build-model-states-explored 5112724 3665
build-model-states-explored 5116450 3726
build-model-states-explored 5120316 3866
build-model-states-explored 5123589 3273
build-model-states-explored 5126879 3290
build-model-states-explored 5130313 3434
build-model-states-explored 5133924 3611
build-model-states-explored 5137573 3649
build-model-states-explored 5141181 3608
build-model-states-explored 5144807 3626
build-model-states-explored 5148451 3644
build-model-states-explored 5152307 3856
build-model-states-explored 5155835 3528
build-model-states-explored 5159153 3318
build-model-states-explored 5162616 3463
build-model-states-explored 5166210 3594
build-model-states-explored 5169830 3620
build-model-states-explored 5173484 3654
build-model-states-explored 5177224 3740
build-model-states-explored 5181072 3848
build-model-states-explored 5184421 3349
build-model-states-explored 5187922 3501
build-model-states-explored 5191517 3595
build-model-states-explored 5195156 3639
build-model-states-explored 5198880 3724
build-model-states-explored 5202661 3781
build-model-states-explored 5206063 3402
build-model-states-explored 5209711 3648
build-model-states-explored 5213377 3666
build-model-states-explored 5217320 3943
build-model-states-explored 5220727 3407
build-model-states-explored 5224355 3628
build-model-states-explored 5228197 3842
build-model-states-explored 5231823 3626
build-model-states-explored 5235520 3697
build-model-states-explored 5239364 3844
build-model-states-explored 5243050 3686
build-model-states-explored 5246851 3801
build-model-states-explored 5250718 3867
build-model-states-explored 5254652 3934
build-model-states-explored 5257934 3282
build-model-states-explored 5260952 3018
build-model-states-explored 5264075 3123
build-model-states-explored 5267111 3036
build-model-states-explored 5270280 3169
build-model-states-explored 5270556 276
build-model-states-explored 5270556 0
build-model-states-explored 5273242 2686
build-model-states-explored 5276449 3207
build-model-states-explored 5279575 3126
build-model-states-explored 5282759 3184
build-model-states-explored 5285921 3162
build-model-states-explored 5289099 3178
build-model-states-explored 5292230 3131
build-model-states-explored 5295423 3193
build-model-states-explored 5298533 3110
build-model-states-explored 5301729 3196
build-model-states-explored 5304842 3113
build-model-states-explored 5308036 3194
build-model-states-explored 5311154 3118
build-model-states-explored 5314337 3183
build-model-states-explored 5317464 3127
build-model-states-explored 5320760 3296
build-model-states-explored 5324075 3315
build-model-states-explored 5327337 3262
build-model-states-explored 5331062 3725
build-model-states-explored 5334628 3566
build-model-states-explored 5338402 3774
build-model-states-explored 5342035 3633
build-model-states-explored 5345693 3658
build-model-states-explored 5349440 3747
build-model-states-explored 5353173 3733
build-model-states-explored 5356983 3810
build-model-states-explored 5360806 3823
build-model-states-explored 5364140 3334
build-model-states-explored 5367475 3335
build-model-states-explored 5371081 3606
build-model-states-explored 5374702 3621
build-model-states-explored 5378409 3707
build-model-states-explored 5382094 3685
build-model-states-explored 5385794 3700
build-model-states-explored 5389570 3776
build-model-states-explored 5393572 4002
build-model-states-explored 5396947 3375
build-model-states-explored 5400299 3352
build-model-states-explored 5403989 3690
build-model-states-explored 5407653 3664
build-model-states-explored 5411355 3702
build-model-states-explored 5415056 3701
build-model-states-explored 5418989 3933
build-model-states-explored 5422616 3627
build-model-states-explored 5426025 3409
build-model-states-explored 5429714 3689
build-model-states-explored 5433399 3685
build-model-states-explored 5437175 3776
build-model-states-explored 5441203 4028
build-model-states-explored 5444659 3456
build-model-states-explored 5448286 3627
build-model-states-explored 5451991 3705
build-model-states-explored 5455910 3919
build-model-states-explored 5459603 3693
build-model-states-explored 5463253 3650
build-model-states-explored 5467055 3802
build-model-states-explored 5470915 3860
build-model-states-explored 5474589 3674
build-model-states-explored 5478619 4030
build-model-states-explored 5482276 3657
build-model-states-explored 5486182 3906
build-model-states-explored 5490098 3916
build-model-states-explored 5494211 4113
build-model-states-explored 5497612 3401
build-model-states-explored 5500671 3059
build-model-states-explored 5503855 3184
build-model-states-explored 5507032 3177
build-model-states-explored 5510169 3137
build-model-states-explored 5513333 3164
build-model-states-explored 5516448 3115
build-model-states-explored 5519632 3184
build-model-states-explored 5522804 3172
build-model-states-explored 5525938 3134
build-model-states-explored 5529112 3174
build-model-states-explored 5532228 3116
build-model-states-explored 5535409 3181
build-model-states-explored 5538577 3168
build-model-states-explored 5541717 3140
build-model-states-explored 5544900 3183
build-model-states-explored 5548093 3193
build-model-states-explored 5551422 3329
build-model-states-explored 5554721 3299
build-model-states-explored 5558389 3668
build-model-states-explored 5561995 3606
build-model-states-explored 5565658 3663
build-model-states-explored 5569351 3693
build-model-states-explored 5573106 3755
build-model-states-explored 5576861 3755
build-model-states-explored 5580842 3981
build-model-states-explored 5584192 3350
build-model-states-explored 5587548 3356
build-model-states-explored 5591283 3735
build-model-states-explored 5594932 3649
build-model-states-explored 5598616 3684
build-model-states-explored 5602346 3730
build-model-states-explored 5606372 4026
build-model-states-explored 5609856 3484
build-model-states-explored 5613198 3342
build-model-states-explored 5616828 3630
build-model-states-explored 5620515 3687
build-model-states-explored 5624245 3730
build-model-states-explored 5628226 3981
build-model-states-explored 5631668 3442
build-model-states-explored 5635305 3637
build-model-states-explored 5639006 3701
build-model-states-explored 5642764 3758
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5642764 0
build-model-states-explored 5643620 856
build-model-states-explored 5646239 2619
build-model-states-explored 5649729 3490
build-model-states-explored 5653466 3737
build-model-states-explored 5657355 3889
build-model-states-explored 5660973 3618
build-model-states-explored 5665002 4029
build-model-states-explored 5668613 3611
build-model-states-explored 5672531 3918
build-model-states-explored 5676458 3927
build-model-states-explored 5680320 3862
build-model-states-explored 5683970 3650
build-model-states-explored 5687049 3079
build-model-states-explored 5690180 3131
build-model-states-explored 5693335 3155
build-model-states-explored 5696461 3126
build-model-states-explored 5699593 3132
build-model-states-explored 5702673 3080
build-model-states-explored 5705861 3188
build-model-states-explored 5708968 3107
build-model-states-explored 5712069 3101
build-model-states-explored 5715203 3134
build-model-states-explored 5718377 3174
build-model-states-explored 5721500 3123
build-model-states-explored 5724622 3122
build-model-states-explored 5727946 3324
build-model-states-explored 5731267 3321
build-model-states-explored 5734953 3686
build-model-states-explored 5738578 3625
build-model-states-explored 5742240 3662
build-model-states-explored 5745916 3676
build-model-states-explored 5749845 3929
build-model-states-explored 5753396 3551
build-model-states-explored 5756772 3376
build-model-states-explored 5760431 3659
build-model-states-explored 5764086 3655
build-model-states-explored 5767823 3737
build-model-states-explored 5771815 3992
build-model-states-explored 5775233 3418
build-model-states-explored 5778817 3584
build-model-states-explored 5782488 3671
build-model-states-explored 5786352 3864
build-model-states-explored 5790029 3677
build-model-states-explored 5793623 3594
build-model-states-explored 5797370 3747
build-model-states-explored 5801243 3873
build-model-states-explored 5804875 3632
build-model-states-explored 5808866 3991
build-model-states-explored 5812490 3624
build-model-states-explored 5816385 3895
build-model-states-explored 5820312 3927
build-model-states-explored 5824187 3875
build-model-states-explored 5827815 3628
build-model-states-explored 5830928 3113
build-model-states-explored 5834030 3102
build-model-states-explored 5837147 3117
build-model-states-explored 5840286 3139
build-model-states-explored 5843371 3085
build-model-states-explored 5846516 3145
build-model-states-explored 5849597 3081
build-model-states-explored 5852750 3153
build-model-states-explored 5855894 3144
build-model-states-explored 5859018 3124
build-model-states-explored 5862278 3260
build-model-states-explored 5865654 3376
build-model-states-explored 5869298 3644
build-model-states-explored 5872935 3637
build-model-states-explored 5876669 3734
build-model-states-explored 5880674 4005
build-model-states-explored 5884084 3410
build-model-states-explored 5887632 3548
build-model-states-explored 5891321 3689
build-model-states-explored 5895120 3799
build-model-states-explored 5898875 3755
build-model-states-explored 5902420 3545
build-model-states-explored 5906193 3773
build-model-states-explored 5910078 3885
build-model-states-explored 5913667 3589
build-model-states-explored 5917696 4029
build-model-states-explored 5921231 3535
build-model-states-explored 5925200 3969
build-model-states-explored 5929128 3928
build-model-states-explored 5932903 3775
build-model-states-explored 5936649 3746
build-model-states-explored 5939766 3117
build-model-states-explored 5942875 3109
build-model-states-explored 5945949 3074
build-model-states-explored 5949106 3157
build-model-states-explored 5952220 3114
build-model-states-explored 5955340 3120
build-model-states-explored 5958464 3124
build-model-states-explored 5961570 3106
build-model-states-explored 5964877 3307
build-model-states-explored 5968356 3479
build-model-states-explored 5972007 3651
build-model-states-explored 5975767 3760
build-model-states-explored 5979630 3863
build-model-states-explored 5983095 3465
build-model-states-explored 5986819 3724
build-model-states-explored 5990803 3984
build-model-states-explored 5994284 3481
build-model-states-explored 5998077 3793
build-model-states-explored 6001867 3790
build-model-states-explored 6005895 4028
build-model-states-explored 6009584 3689
build-model-states-explored 6013620 4036
build-model-states-explored 6017434 3814
build-model-states-explored 6020547 3113
build-model-states-explored 6023611 3064
build-model-states-explored 6026749 3138
build-model-states-explored 6029816 3067
build-model-states-explored 6032944 3128
build-model-states-explored 6036038 3094
build-model-states-explored 6039199 3161
build-model-states-explored 6042637 3438
build-model-states-explored 6046333 3696
build-model-states-explored 6050381 4048
build-model-states-explored 6053827 3446
build-model-states-explored 6057569 3742
build-model-states-explored 6061404 3835
build-model-states-explored 6065211 3807
build-model-states-explored 6069025 3814
build-model-states-explored 6072922 3897
build-model-states-explored 6076956 4034
build-model-states-explored 6080096 3140
build-model-states-explored 6083169 3073
build-model-states-explored 6086249 3080
build-model-states-explored 6089295 3046
build-model-states-explored 6092384 3089
build-model-states-explored 6095640 3256
build-model-states-explored 6099250 3610
build-model-states-explored 6103228 3978
build-model-states-explored 6106824 3596
build-model-states-explored 6110699 3875
build-model-states-explored 6114598 3899
build-model-states-explored 6118488 3890
build-model-states-explored 6122078 3590
build-model-states-explored 6125138 3060
build-model-states-explored 6128168 3030
build-model-states-explored 6131219 3051
build-model-states-explored 6134388 3169
build-model-states-explored 6138068 3680
build-model-states-explored 6141897 3829
build-model-states-explored 6145745 3848
build-model-states-explored 6149728 3983
build-model-states-explored 6153105 3377
build-model-states-explored 6156123 3018
build-model-states-explored 6159147 3024
build-model-states-explored 6162374 3227
build-model-states-explored 6166259 3885
build-model-states-explored 6170232 3973
build-model-states-explored 6173679 3447
build-model-states-explored 6176674 2995
build-model-states-explored 6179720 3046
build-model-states-explored 6183527 3807
build-model-states-explored 6187168 3641
build-model-states-explored 6190118 2950
build-model-states-explored 6193580 3462
build-model-states-explored 6196884 3304
build-model-states-explored 6200174 3290
build-model-states-explored 6203303 3129
build-model-states-explored 6206240 2937
build-model-states-explored 6209207 2967
build-model-states-explored 6212144 2937
build-model-states-explored 6215007 2863
build-model-states-explored 6217974 2967
build-model-states-explored 6220711 2737
build-model-states-explored 6223723 3012
build-model-states-explored 6226919 3196
build-model-states-explored 6229739 2820
build-model-states-explored 6232893 3154
build-model-states-explored 6235771 2878
build-model-states-explored 6238906 3135
build-model-states-explored 6241824 2918
build-model-states-explored 6244749 2925
build-model-states-explored 6247689 2940
build-model-states-explored 6250671 2982
build-model-states-explored 6253629 2958
build-model-states-explored 6256514 2885
build-model-states-explored 6259240 2726
build-model-states-explored 6262435 3195
build-model-states-explored 6265482 3047
build-model-states-explored 6268373 2891
build-model-states-explored 6271531 3158
build-model-states-explored 6274392 2861
build-model-states-explored 6277407 3015
build-model-states-explored 6280445 3038
build-model-states-explored 6283392 2947
build-model-states-explored 6286333 2941
build-model-states-explored 6289313 2980
build-model-states-explored 6292194 2881
build-model-states-explored 6295101 2907
build-model-states-explored 6297889 2788
build-model-states-explored 6301088 3199
build-model-states-explored 6303955 2867
build-model-states-explored 6307083 3128
build-model-states-explored 6310030 2947
build-model-states-explored 6313090 3060
build-model-states-explored 6316004 2914
build-model-states-explored 6319088 3084
build-model-states-explored 6322068 2980
build-model-states-explored 6324992 2924
build-model-states-explored 6327862 2870
build-model-states-explored 6330801 2939
build-model-states-explored 6333612 2811
build-model-states-explored 6336586 2974
build-model-states-explored 6339769 3183
build-model-states-explored 6342608 2839
build-model-states-explored 6345776 3168
build-model-states-explored 6348619 2843
build-model-states-explored 6351781 3162
build-model-states-explored 6354676 2895
build-model-states-explored 6357605 2929
build-model-states-explored 6360614 3009
build-model-states-explored 6363568 2954
build-model-states-explored 6366548 2980
build-model-states-explored 6369433 2885
build-model-states-explored 6372151 2718
build-model-states-explored 6375326 3175
build-model-states-explored 6378418 3092
build-model-states-explored 6381306 2888
build-model-states-explored 6384435 3129
build-model-states-explored 6387299 2864
build-model-states-explored 6390324 3025
build-model-states-explored 6393350 3026
build-model-states-explored 6396265 2915
build-model-states-explored 6399250 2985
build-model-states-explored 6402215 2965
build-model-states-explored 6405116 2901
build-model-states-explored 6408014 2898
build-model-states-explored 6410800 2786
build-model-states-explored 6413984 3184
build-model-states-explored 6416879 2895
build-model-states-explored 6419967 3088
build-model-states-explored 6422951 2984
build-model-states-explored 6426005 3054
build-model-states-explored 6428874 2869
build-model-states-explored 6431993 3119
build-model-states-explored 6434970 2977
build-model-states-explored 6437909 2939
build-model-states-explored 6440743 2834
build-model-states-explored 6443608 2865
build-model-states-explored 6446452 2844
build-model-states-explored 6449366 2914
build-model-states-explored 6452506 3140
build-model-states-explored 6455302 2796
build-model-states-explored 6458474 3172
build-model-states-explored 6461319 2845
build-model-states-explored 6464482 3163
build-model-states-explored 6467402 2920
build-model-states-explored 6470338 2936
build-model-states-explored 6473370 3032
build-model-states-explored 6476295 2925
build-model-states-explored 6479262 2967
build-model-states-explored 6482141 2879
build-model-states-explored 6484878 2737
build-model-states-explored 6487982 3104
build-model-states-explored 6491129 3147
build-model-states-explored 6493947 2818
build-model-states-explored 6497102 3155
build-model-states-explored 6499950 2848
build-model-states-explored 6503050 3100
build-model-states-explored 6505991 2941
build-model-states-explored 6508863 2872
build-model-states-explored 6511815 2952
build-model-states-explored 6514768 2953
build-model-states-explored 6517660 2892
build-model-states-explored 6520554 2894
build-model-states-explored 6523297 2743
build-model-states-explored 6526442 3145
build-model-states-explored 6529454 3012
build-model-states-explored 6532417 2963
build-model-states-explored 6535503 3086
build-model-states-explored 6538443 2940
build-model-states-explored 6541376 2933
build-model-states-explored 6544463 3087
build-model-states-explored 6547392 2929
build-model-states-explored 6550341 2949
build-model-states-explored 6553283 2942
build-model-states-explored 6556182 2899
build-model-states-explored 6559060 2878
build-model-states-explored 6562032 2972
build-model-states-explored 6565196 3164
build-model-states-explored 6568296 3100
build-model-states-explored 6571480 3184
build-model-states-explored 6574550 3070
build-model-states-explored 6577744 3194
build-model-states-explored 6580816 3072
build-model-states-explored 6583995 3179
build-model-states-explored 6587113 3118
build-model-states-explored 6590251 3138
build-model-states-explored 6593402 3151
build-model-states-explored 6596526 3124
build-model-states-explored 6599680 3154
build-model-states-explored 6602811 3131
build-model-states-explored 6604083 1272
----------
Computation aborted after 1800.159239768982 seconds since the total time limit of 1800 seconds was exceeded.